3.2039 \(\int \frac{1}{(a+\frac{b}{x^3})^{3/2} x} \, dx\)

Optimal. Leaf size=46 \[ \frac{2 \tanh ^{-1}\left (\frac{\sqrt{a+\frac{b}{x^3}}}{\sqrt{a}}\right )}{3 a^{3/2}}-\frac{2}{3 a \sqrt{a+\frac{b}{x^3}}} \]

[Out]

-2/(3*a*Sqrt[a + b/x^3]) + (2*ArcTanh[Sqrt[a + b/x^3]/Sqrt[a]])/(3*a^(3/2))

________________________________________________________________________________________

Rubi [A]  time = 0.0245763, antiderivative size = 46, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.267, Rules used = {266, 51, 63, 208} \[ \frac{2 \tanh ^{-1}\left (\frac{\sqrt{a+\frac{b}{x^3}}}{\sqrt{a}}\right )}{3 a^{3/2}}-\frac{2}{3 a \sqrt{a+\frac{b}{x^3}}} \]

Antiderivative was successfully verified.

[In]

Int[1/((a + b/x^3)^(3/2)*x),x]

[Out]

-2/(3*a*Sqrt[a + b/x^3]) + (2*ArcTanh[Sqrt[a + b/x^3]/Sqrt[a]])/(3*a^(3/2))

Rule 266

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Dist[1/n, Subst[Int[x^(Simplify[(m + 1)/n] - 1)*(a
+ b*x)^p, x], x, x^n], x] /; FreeQ[{a, b, m, n, p}, x] && IntegerQ[Simplify[(m + 1)/n]]

Rule 51

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[((a + b*x)^(m + 1)*(c + d*x)^(n + 1
))/((b*c - a*d)*(m + 1)), x] - Dist[(d*(m + n + 2))/((b*c - a*d)*(m + 1)), Int[(a + b*x)^(m + 1)*(c + d*x)^n,
x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && LtQ[m, -1] &&  !(LtQ[n, -1] && (EqQ[a, 0] || (NeQ[
c, 0] && LtQ[m - n, 0] && IntegerQ[n]))) && IntLinearQ[a, b, c, d, m, n, x]

Rule 63

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> With[{p = Denominator[m]}, Dist[p/b, Sub
st[Int[x^(p*(m + 1) - 1)*(c - (a*d)/b + (d*x^p)/b)^n, x], x, (a + b*x)^(1/p)], x]] /; FreeQ[{a, b, c, d}, x] &
& NeQ[b*c - a*d, 0] && LtQ[-1, m, 0] && LeQ[-1, n, 0] && LeQ[Denominator[n], Denominator[m]] && IntLinearQ[a,
b, c, d, m, n, x]

Rule 208

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[-(a/b), 2]*ArcTanh[x/Rt[-(a/b), 2]])/a, x] /; FreeQ[{a,
b}, x] && NegQ[a/b]

Rubi steps

\begin{align*} \int \frac{1}{\left (a+\frac{b}{x^3}\right )^{3/2} x} \, dx &=-\left (\frac{1}{3} \operatorname{Subst}\left (\int \frac{1}{x (a+b x)^{3/2}} \, dx,x,\frac{1}{x^3}\right )\right )\\ &=-\frac{2}{3 a \sqrt{a+\frac{b}{x^3}}}-\frac{\operatorname{Subst}\left (\int \frac{1}{x \sqrt{a+b x}} \, dx,x,\frac{1}{x^3}\right )}{3 a}\\ &=-\frac{2}{3 a \sqrt{a+\frac{b}{x^3}}}-\frac{2 \operatorname{Subst}\left (\int \frac{1}{-\frac{a}{b}+\frac{x^2}{b}} \, dx,x,\sqrt{a+\frac{b}{x^3}}\right )}{3 a b}\\ &=-\frac{2}{3 a \sqrt{a+\frac{b}{x^3}}}+\frac{2 \tanh ^{-1}\left (\frac{\sqrt{a+\frac{b}{x^3}}}{\sqrt{a}}\right )}{3 a^{3/2}}\\ \end{align*}

Mathematica [A]  time = 0.0709406, size = 75, normalized size = 1.63 \[ \frac{2 \left (\sqrt{b} \sqrt{\frac{a x^3}{b}+1} \sinh ^{-1}\left (\frac{\sqrt{a} x^{3/2}}{\sqrt{b}}\right )-\sqrt{a} x^{3/2}\right )}{3 a^{3/2} x^{3/2} \sqrt{a+\frac{b}{x^3}}} \]

Antiderivative was successfully verified.

[In]

Integrate[1/((a + b/x^3)^(3/2)*x),x]

[Out]

(2*(-(Sqrt[a]*x^(3/2)) + Sqrt[b]*Sqrt[1 + (a*x^3)/b]*ArcSinh[(Sqrt[a]*x^(3/2))/Sqrt[b]]))/(3*a^(3/2)*Sqrt[a +
b/x^3]*x^(3/2))

________________________________________________________________________________________

Maple [C]  time = 0.012, size = 3438, normalized size = 74.7 \begin{align*} \text{output too large to display} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(a+b/x^3)^(3/2)/x,x)

[Out]

-2/3/((a*x^3+b)/x^3)^(3/2)/x^5*(a*x^3+b)/a^3*(6*I*(-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1
/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-
b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*a/(
-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(1+I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*3
^(1/2)*(x*(a*x^3+b))^(1/2)*x^2*a^2-6*I*(-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(
1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3
)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/
2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3^(1/2)-3),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(1+I*3^(1/2))/(I*3
^(1/2)-3))^(1/2))*3^(1/2)*(x*(a*x^3+b))^(1/2)*x^2*a^2-12*I*(-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(
1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3
^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)
-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(1+I*3^(1/2))/(I*3^(1/2)-3))
^(1/2))*(-b*a^2)^(1/3)*3^(1/2)*(x*(a*x^3+b))^(1/2)*x*a+12*I*(-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^
(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*
3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/
2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3^(1/2)-3),((I*3^(1/2)+3)*(-1+I*3^(1/2
))/(1+I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*(-b*a^2)^(1/3)*3^(1/2)*(x*(a*x^3+b))^(1/2)*x*a+6*I*(-(I*3^(1/2)-3)*x*a/
(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2))/(-a
*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)
))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),((I*3^(1/2)+3)*(-1+I*3^(1/2
))/(1+I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*(-b*a^2)^(2/3)*3^(1/2)*(x*(a*x^3+b))^(1/2)-6*(-(I*3^(1/2)-3)*x*a/(-1+I*
3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2))/(-a*x+(-b
*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/
2)*EllipticF((-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(1+
I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*(x*(a*x^3+b))^(1/2)*x^2*a^2-6*I*(-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*
a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)
*((I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*EllipticPi((-(I*
3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3^(1/2)-3),((I*3^(1/2)+3)*(-1+I*3
^(1/2))/(1+I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*(-b*a^2)^(2/3)*3^(1/2)*(x*(a*x^3+b))^(1/2)+6*(-(I*3^(1/2)-3)*x*a/(
-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2))/(-a*
x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3))
)^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3^(1/2)-3
),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(1+I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*(x*(a*x^3+b))^(1/2)*x^2*a^2+12*(-(I*3^(1/2
)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(
1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a
^2)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),((I*3^(1/2)+3)*(-1
+I*3^(1/2))/(1+I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*(-b*a^2)^(1/3)*(x*(a*x^3+b))^(1/2)*x*a-12*(-(I*3^(1/2)-3)*x*a/
(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2))/(-a
*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)
))^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3^(1/2)-
3),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(1+I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*(-b*a^2)^(1/3)*(x*(a*x^3+b))^(1/2)*x*a-6*
(-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3
))/(1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/
(-a*x+(-b*a^2)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),((I*3^(
1/2)+3)*(-1+I*3^(1/2))/(1+I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*(-b*a^2)^(2/3)*(x*(a*x^3+b))^(1/2)+6*(-(I*3^(1/2)-3
)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))/(1+I*3^(1/2
))/(-a*x+(-b*a^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3))/(-1+I*3^(1/2))/(-a*x+(-b*a^2)
^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*a/(-1+I*3^(1/2))/(-a*x+(-b*a^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3^
(1/2)-3),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(1+I*3^(1/2))/(I*3^(1/2)-3))^(1/2))*(-b*a^2)^(2/3)*(x*(a*x^3+b))^(1/2)+
I*(1/a^2*x*(-a*x+(-b*a^2)^(1/3))*(I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))*(I*3^(1/2)*(-b*a^2)^(1/3)-2*a
*x-(-b*a^2)^(1/3)))^(1/2)*3^(1/2)*x^2*a^2-3*x^2*a^2*(1/a^2*x*(-a*x+(-b*a^2)^(1/3))*(I*3^(1/2)*(-b*a^2)^(1/3)+2
*a*x+(-b*a^2)^(1/3))*(I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3)))^(1/2))/(I*3^(1/2)-3)/(1/a^2*x*(-a*x+(-b*
a^2)^(1/3))*(I*3^(1/2)*(-b*a^2)^(1/3)+2*a*x+(-b*a^2)^(1/3))*(I*3^(1/2)*(-b*a^2)^(1/3)-2*a*x-(-b*a^2)^(1/3)))^(
1/2)

________________________________________________________________________________________

Maxima [F(-2)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(a+b/x^3)^(3/2)/x,x, algorithm="maxima")

[Out]

Exception raised: ValueError

________________________________________________________________________________________

Fricas [B]  time = 2.43535, size = 413, normalized size = 8.98 \begin{align*} \left [-\frac{4 \, a x^{3} \sqrt{\frac{a x^{3} + b}{x^{3}}} -{\left (a x^{3} + b\right )} \sqrt{a} \log \left (-8 \, a^{2} x^{6} - 8 \, a b x^{3} - b^{2} - 4 \,{\left (2 \, a x^{6} + b x^{3}\right )} \sqrt{a} \sqrt{\frac{a x^{3} + b}{x^{3}}}\right )}{6 \,{\left (a^{3} x^{3} + a^{2} b\right )}}, -\frac{2 \, a x^{3} \sqrt{\frac{a x^{3} + b}{x^{3}}} +{\left (a x^{3} + b\right )} \sqrt{-a} \arctan \left (\frac{2 \, \sqrt{-a} x^{3} \sqrt{\frac{a x^{3} + b}{x^{3}}}}{2 \, a x^{3} + b}\right )}{3 \,{\left (a^{3} x^{3} + a^{2} b\right )}}\right ] \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(a+b/x^3)^(3/2)/x,x, algorithm="fricas")

[Out]

[-1/6*(4*a*x^3*sqrt((a*x^3 + b)/x^3) - (a*x^3 + b)*sqrt(a)*log(-8*a^2*x^6 - 8*a*b*x^3 - b^2 - 4*(2*a*x^6 + b*x
^3)*sqrt(a)*sqrt((a*x^3 + b)/x^3)))/(a^3*x^3 + a^2*b), -1/3*(2*a*x^3*sqrt((a*x^3 + b)/x^3) + (a*x^3 + b)*sqrt(
-a)*arctan(2*sqrt(-a)*x^3*sqrt((a*x^3 + b)/x^3)/(2*a*x^3 + b)))/(a^3*x^3 + a^2*b)]

________________________________________________________________________________________

Sympy [B]  time = 2.03033, size = 187, normalized size = 4.07 \begin{align*} - \frac{2 a^{3} x^{3} \sqrt{1 + \frac{b}{a x^{3}}}}{3 a^{\frac{9}{2}} x^{3} + 3 a^{\frac{7}{2}} b} - \frac{a^{3} x^{3} \log{\left (\frac{b}{a x^{3}} \right )}}{3 a^{\frac{9}{2}} x^{3} + 3 a^{\frac{7}{2}} b} + \frac{2 a^{3} x^{3} \log{\left (\sqrt{1 + \frac{b}{a x^{3}}} + 1 \right )}}{3 a^{\frac{9}{2}} x^{3} + 3 a^{\frac{7}{2}} b} - \frac{a^{2} b \log{\left (\frac{b}{a x^{3}} \right )}}{3 a^{\frac{9}{2}} x^{3} + 3 a^{\frac{7}{2}} b} + \frac{2 a^{2} b \log{\left (\sqrt{1 + \frac{b}{a x^{3}}} + 1 \right )}}{3 a^{\frac{9}{2}} x^{3} + 3 a^{\frac{7}{2}} b} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(a+b/x**3)**(3/2)/x,x)

[Out]

-2*a**3*x**3*sqrt(1 + b/(a*x**3))/(3*a**(9/2)*x**3 + 3*a**(7/2)*b) - a**3*x**3*log(b/(a*x**3))/(3*a**(9/2)*x**
3 + 3*a**(7/2)*b) + 2*a**3*x**3*log(sqrt(1 + b/(a*x**3)) + 1)/(3*a**(9/2)*x**3 + 3*a**(7/2)*b) - a**2*b*log(b/
(a*x**3))/(3*a**(9/2)*x**3 + 3*a**(7/2)*b) + 2*a**2*b*log(sqrt(1 + b/(a*x**3)) + 1)/(3*a**(9/2)*x**3 + 3*a**(7
/2)*b)

________________________________________________________________________________________

Giac [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{{\left (a + \frac{b}{x^{3}}\right )}^{\frac{3}{2}} x}\,{d x} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(a+b/x^3)^(3/2)/x,x, algorithm="giac")

[Out]

integrate(1/((a + b/x^3)^(3/2)*x), x)